#include "asm/mach/arch.h"
#include "linux/types.h"
#include "linux/of.h"
#include "linux/printk.h"

struct device *imx_soc_device_init(void);

void imx6ul_init_machine(void)
{
	struct device *parent;

	parent =  imx_soc_device_init();
	if (!parent)
	{
		printk("Failed to initialize i.MX6UL machine\n");
		return;
	}

	of_platform_default_populate(NULL, NULL, parent);
}

void imx6ul_init_irq(void)
{
}

void imx6ul_init_late(void)
{

}

void imx6ul_map_io(void)
{

}

char *imx6ul_dt_compat[] = {
	"fsl,imx6ul",
	"fsl,imx6ull",
	NULL,
};

DT_MACHINE_START(IMX6UL, "Freescale i.MX6 UltraLite (Device Tree)")
	.map_io		= imx6ul_map_io,
	.init_irq	= imx6ul_init_irq,
	.init_machine	= imx6ul_init_machine,
	.init_late	= imx6ul_init_late,
	.dt_compat	= imx6ul_dt_compat,
MACHINE_END

